Deciding Existence of Trace Codings (Abstract of Ph.D. thesis)
نویسنده
چکیده
In 1977 Mazurkiewicz [14] proposed free partially commutative monoids as a tool for describing behaviour of concurrent systems. In this approach one represents elementary actions with letters of a given alphabet; then an observation of a finite run of a system is just a word over the alphabet. Two words are regarded as describing the same behaviour whenever they can be obtained from each other by commuting adjacent occurrences of letters representing concurrent actions. The mathematical formalization for this concept is provided by considering finitely presented monoids with their defining relations expressing commutativity of some of their generators. Possible behaviours of a system then correspond to congruence classes modulo the defining relations, which are called traces. In this way causal order of actions is distinguished from the order arising from sequentiality of observations.
منابع مشابه
On Some Decision Problems for Trace Codings
The problem we mainly deal with is the existence of a coding between two trace monoids. We introduce a new notion of coding: the strong coding (independent letters are mapped into independent traces). We prove that the existence of a strong coding between two trace monoids is decidable when the first monoid belongs to one of two large families of trace monoids that we specify. Our decision cond...
متن کاملBrno Faculty of Sciences Deciding Existence of Trace Codings
In 1977 Mazurkiewicz [14] proposed free partially commutative monoids as a tool for describing behaviour of concurrent systems. In this approach one represents elementary actions with letters of a given alphabet; then an observation of a finite run of a system is just a word over the alphabet. Two words are regarded as describing the same behaviour whenever they can be obtained from each other ...
متن کاملTopological lower bounds for multichromatic numbers Abstract of the Ph.D. Thesis
of the Ph.D. Thesis
متن کاملDissertation Abstract
In November 2012 I joined the research group Artificial Intelligence of the university of Basel as a Ph.D. student, supervised by Malte Helmert. Since at the time of writing of this abstract, I have been working as a Ph.D. student for roughly three months, I can not develop an elaborated research plan of my studies, as it is not very clear to me on what area my thesis will focus yet. Therefore ...
متن کامل